$a$ $\oplus$ $b$ $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$fpf{-}join(product{-}deq(Knd;IdLnk;KindDeq;IdLnkDeq);$a$;$b$)